Homogeneous 1-based structures and interpretability in random structures

نویسنده

  • Vera Koponen
چکیده

Let V be a nite relational vocabulary in which no symbol has arity greater than 2. Let M be countable V -structure which is homogeneous, simple and 1based. The rst main result says that if M is, in addition, primitive, then it is strongly interpretable in a random structure. The second main result, which generalizes the rst, implies (without the assumption on primitivity) that if M is coordinatized by a set with SU-rank 1 and there is no de nable (without parameters) nontrivial equivalence relation on M with only nite classes, then M is strongly interpretable in a random structure.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Binary Primitive Homogeneous One-based Structures

Suppose that M is countable, binary, primitive, homogeneous, simple and 1-based. We prove that the SU-rank of the complete theory of M is 1. It follows that M is a random structure. The conclusion that M is a random structure does not hold if the binarity condition is removed, as witnessed by the generic tetrahedronfree 3-hypergraph. However, to show that the generic tetrahedron-free 3-hypergra...

متن کامل

SIZE AND GEOMETRY OPTIMIZATION OF TRUSS STRUCTURES USING THE COMBINATION OF DNA COMPUTING ALGORITHM AND GENERALIZED CONVEX APPROXIMATION METHOD

In recent years, the optimization of truss structures has been considered due to their several applications and their simple structure and rapid analysis. DNA computing algorithm is a non-gradient-based method derived from numerical modeling of DNA-based computing performance by new computers with DNA memory known as molecular computers. DNA computing algorithm works based on collective intelli...

متن کامل

STRUCTURAL SYSTEM RELIABILITY-BASED OPTIMIZATION OF TRUSS STRUCTURES USING GENETIC ALGORITHM

Structural reliability theory allows structural engineers to take the random nature of structural parameters into account in the analysis and design of structures. The aim of this research is to develop a logical framework for system reliability analysis of truss structures and simultaneous size and geometry optimization of truss structures subjected to structural system reliability constraint....

متن کامل

Use of Numerical Simulation to Measure the Effect of Relief Wells for Decreasing Uplift in a Homogeneous Earth Dam

Relief wells are used extensively to relieve excess hydrostatic pressure in pervious foundation strata overlain by impervious top strata, conditions which often exist landward of levees and downstream of dams and hydraulic structures. Placing well outlets in below-surface trenches or collector pipes helps dry up seepage areas downstream of levees and dams. Relief wells are often used in combina...

متن کامل

Security of Sponge structures

Sponge structure is a structure widely used in the design of cryptographic algorithms that reduces the design of the algorithms to the design of a permutation or pseudo-random function. The development of sponge-based algorithms and the selection of designs based on this structure in SHA3 and CAESAR competitions increase the need to examine its security against various types of attacks. In the ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • Math. Log. Q.

دوره 63  شماره 

صفحات  -

تاریخ انتشار 2017